翻訳と辞書 Words near each other ・ Subject Centre for Dance, Drama and Music ・ Subject Centre for Geography, Earth and Environmental Sciences ・ Subject Centre for Languages Linguistics and Area Studies ・ Subject complement ・ Subject Exhibitions ・ Subject Headings Authority File ・ Subject indexing ・ Subject matter ・ Subject matter expert Turing test ・ Subject matter in Canadian patent law ・ Subject matter in South Park ・ Subject matter limitations in copyright law in Canada ・ Subject Network for Sociology, Anthropology, Politics ・ Subject of labor ・ Subject pronoun ・ Subject reduction ・ Subject Seven ・ Subject side parameter ・ Subject to Change ・ Subject to Change (band) ・ Subject to Change (EP) ・ Subject to Change (film) ・ Subject to Change (Henry Threadgill album) ・ Subject to Change (Switched album) ・ Subject to Change (Vanessa-Mae album) ・ Subject Two ・ Subject-expectancy effect ・ Subject-matter expert ・ Subject-matter jurisdiction ・ Subject-oriented business process management Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Subject reduction ： ウィキペディア英語版 Subject reduction In type theory, a type system has the property of subject reduction (also subject evaluation, type preservation or simply preservation) if evaluation of expressions does not cause their type to change. Formally, if Γ ⊢ ''e''1 : ''τ'' and ''e''1 → ''e''2 then Γ ⊢ ''e''2 : ''τ''. Together with progress, it is an important meta-theoretical property for establishing type soundness of a type system. The opposite property, if Γ ⊢ ''e''2 : ''τ'' and ''e''1 → ''e''2 then Γ ⊢ ''e''1 : ''τ'', is called subject expansion. It often does not hold as evaluation can erase ill-typed sub-terms of an expression, resulting in a well-typed one. == References == * * 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Subject reduction」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.